Failing to explain basics can only undermine confidence

Learning by Failing to Explain

Explanation-based Generalization depends on having an explanation on which to base generalization. Thus, a system with an incomplete or intractable explanatory mechanism will not be able to generalize some examples. It is not necessary, in those cases, to give up and resort to purely empirical generalization methods, because the system may already know almost everything it needs to explain the ...

Suggesting Edits to Explain Failing Traces

Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. However, a simple ‘yes’ or ‘no’ answer may not be sufficient; often we need to understand why a violation occurs. This paper considers how computing the edit-distance between a trace and a specification can explain violations by suggesting correcting edits to the trace. By i...

Intergroup contact can undermine disadvantaged group members' attributions to discrimination☆

The athlete's heart vs. the failing heart: can signaling explain the two distinct outcomes?

Cardiac remodeling is typically associated with disease and can lead to heart failure. In contrast, remodeling that occurs in the athlete's heart is considered an adaptive physiological response. This review provides an overview of signaling mechanisms responsible for inducing left ventricular hypertrophy in the athlete's heart and in settings of pathological hypertrophy and heart failure.

Only knowing with degrees of confidence

A new logic of belief (in the “Only knowing” family) with confidence levels is presented. The logic allows a natural distinction between explicit and implicit belief representations, where the explicit form directly expresses its models. The explicit form can be found by applying a set of equivalence preserving rewriting rules to the implicit form. The rewriting process is performed entirely wi...